Clemens Fischer Combining Object-Z and CSP. 119-128 1997 conf/fbt/1997 FBT db/conf/fbt/fbt1997.html#Fischer97