- ICAPS, page 177-184. (2010)
- IEEE Trans. Industrial Informatics 8(1):20-29 (2012)
- NeuroImage 58(2):698-707 (2011)
- ETFA, page 1-8. IEEE, (2009)
- ETFA, page 1-7. IEEE, (2009)
- IEEE Trans. Software Eng. 15(5):654-658 (1989)
- IEEE Trans. Software Eng. 16(8):858-869 (1990)
- IEEE/ACM Trans. Netw. 2(2):151-165 (1994)
- IEEE Trans. Computers 40(4):437-447 (1991)
- ETFA, page 1-4. IEEE, (2010)
- ETFA, page 1-8. IEEE, (2010)
- ATVA, volume 3299 of Lecture Notes in Computer Science, page 135-149. Springer, (2004)
- IEEE Trans. Industrial Informatics 6(3):425-437 (2010)
- TACAS, volume 2619 of Lecture Notes in Computer Science, page 284-298. Springer, (2003)
- FORTE, volume 2767 of Lecture Notes in Computer Science, page 224-239. Springer, (2003)
- SOCS, AAAI Press, (2010)
- Electronic systems engineering series Addison-Wesley, (1987)
- Electronic systems engineering series Addison-Wesley, (1992)
- IEEE Trans. Industrial Informatics 5(2):181-193 (2009)
- Computer Standards & Interfaces 31(3):566-572 (2009)


author