Bojan Orlic Jan F. Broenink SystemCSP - Visual Notation. 151-177 2006 CPA conf/wotug/2006 db/conf/wotug/cpa2006.html#OrlicB06 http://www.booksonline.iospress.nl/Content/View.aspx?piid=723