Angelo Furfaro Libero Nigro A development methodology for embedded systems based on RT-DEVS. 117-127 2009 5 ISSE 2 http://dx.doi.org/10.1007/s11334-009-0085-4 db/journals/isse/isse5.html#FurfaroN09