Formalizing Real-Time Embedded System into Promela Punwess Sukvanich, Arthit Thongtak and Wiwat Vatanawood MATEC Web of Conferences, 35 (2015) 03003 Published online: 16 December 2015 DOI: 10.1051/matecconf/20153503003