selected publications academic article InRob: An approach for testing interoperability and robustness of real-time embedded software. Journal of Systems and Software. 85:3-15. 2011