Letu Yang Michael Poppleton JCSProB: Implementing Integrated Formal Specifications in Concurrent Java. 67-88 2007 CPA conf/wotug/2007 db/conf/wotug/cpa2007.html#YangP07 http://www.booksonline.iospress.nl/Content/View.aspx?piid=5967