@article{article, title = {{Testing Real-Time Embedded Systems using Timed Automata based approaches}}, publisher = {{Elsevier BV}}, url = {{}}, year = {{2013}}, month = {{1}}, author = {{AbouTrab MS and Brockway M and Counsell S and Hierons RM}}, doi = {{10.1016/j.jss.2012.12.030}}, volume = {{86}}, journal = {{Journal of Systems and Software}}, issue = {{5}}, pages = {{1209-1223}}, note = {{Accessed on 2024/12/22}}}