Ian East Concurrent/Reactive System Design with Honeysuckle. 109-118 2007 CPA conf/wotug/2007 db/conf/wotug/cpa2007.html#East07 http://www.booksonline.iospress.nl/Content/View.aspx?piid=5998