Gerald H. Hilderink Software Specification Refinement and Verification Method with I-Mathic Studio. 297-310 2006 CPA conf/wotug/2006 db/conf/wotug/cpa2006.html#Hilderink06 http://www.booksonline.iospress.nl/Content/View.aspx?piid=732