Model-Level Debugging of Embedded Real-Time Systems.
Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010
A Middleware for Model-Based Embedded Systems.
Proceedings of the 2008 International Conference on Embedded Systems & Applications, 2008