Formalizing Real-Time Embedded System into PromelaPunwess Sukvanich, Arthit Thongtak and Wiwat VatanawoodMATEC Web of Conferences, 35 (2015) 03003DOI: https://doi.org/10.1051/matecconf/20153503003
