Rudolf Berghammer Burghard von Karger Formal Derivation of CSP Programs From Temporal Specifications. 181-196 1995 conf/mpc/1995 MPC db/conf/mpc/mpc95.html#BerghammerK95