Distributed embedded controller development with petri nets : application to globally-asynchronous locally-synchronous systems /: application to globally-asynchronous locally-synchronous systems. ([2015])