Design automation of real-life asynchronous devices and systemsAlexander Taubin, Jordi Cortadella, Luciano Lavagno · First published 2007Open the Tome
Applications and theory of Petri nets 2004Jordi Cortadella, Wolfgang Reisig · First published 2004Open the Tome
Concurrency and Hardware DesignJordi Cortadella, Alex Yakovlev, Grzegorz Rozenberg · First published 2003Open the Tome
