3 works on record
Applications and theory of Petri nets 2004
Design automation of real-life asynchronous devices and systems
Concurrency and Hardware Design