Dual transitions Petri Net based modelling technique for embedded systems specification | IEEE Conference Publication | IEEE Xplore