Distributed Embedded Controller Development with Petri Nets Application to Globally-Asynchronous Locally-Synchronous Systems - Moutinho, Filipe de Carvalho; Santos Gomes, Luís Filipe (Springer International Publishing : Imprint: Springer, 2016)