Jörg Lassig and Stefanie Thiem, An Integrated Framework for the Realtime Investigation of State Space Exploration. journal = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology. January 2008, vol. 13(1). 6 - 11 [viewed 25 April 2024]. Available from: https://publications.waset.org/pdf/10778.