Peter Langendörfer Hartmut König Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering. 169-184 1999 conf/forte/1999 FORTE db/conf/forte/forte1999.html#LangendorferK99