WASET
    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.