Ryszard Janicki Maciej Koutny Towards A Theory Of Simulation For Verification Of Concurrent Systems. 73-88 1989 conf/parle/1989-2 PARLE (2) db/conf/parle/parle89-2.html#JanickiK89 http://dx.doi.org/10.1007/3-540-51285-3_34