Abdelaziz Guerrouat and Harald Richter, Adaptation of State/Transition-Based Methods for Embedded System Testing. journal = {International Journal of Computer and Systems Engineering}, [online]. World Academy of Science, Engineering and Technology. October 2007, vol. 10(10). 3185 - 3191 [viewed 25 April 2024]. Available from: https://publications.waset.org/pdf/10899.