Formal Methods in System Design
A concurrency-preserving translation from time Petri nets to networks of timed automata
Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation
Constructive Boolean circuits and the exactness of timed ternary simulation