Distributed Embedded Controller Development with Petri Nets - Moutinho, Filipe; Santos Gomes, Luís Filipe (Springer International Publishing, 2016)