Siegfried Fischer Andreas Scholz Dirk Taubner Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study. 192-205 1992 conf/cav/1992 CAV db/conf/cav/cav1992.html#FischerST92 http://dx.doi.org/10.1007/3-540-56496-9_16