Vladimir Klebanov Philipp Rümmer Steffen Schlager Peter H. Schmitt Verification of JCSP Programs. 203-218 2005 CPA conf/wotug/2005 db/conf/wotug/cpa2005.html#KlebanovRSS05