Falko Bause Heinz Beilner Markus Fischer Peter Kemper Markus Völker The ProC/B Toolset for the Modelling and Analysis of Process Chains. 51-70 2002 conf/cpe/2002 Computer Performance Evaluation / TOOLS http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2324&spage=0051 db/conf/cpe/cpe2002.html#BauseBFKV02