Bernd Grahlmann Combining Finite Automata, Parallel Programs and SDL Using Petri Nets. 102-117 http://link.springer.de/link/service/series/0558/bibs/1384/13840102.htm 1998 conf/tacas/1998 TACAS db/conf/tacas/tacas98.html#Grahlmann98