1. T. Amnell, E. Fersman, L. Mokrushin, P. Petterson, and W. Yi, inProceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS), Marseille, France, 2003.
2. P. Hsiung, inProceedings of the 27th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS'98), Beijing, China, IEEE Computer Society Press, 1998, pp.138-147.
3. Embedded software verification in hardware–software codesign
4. P. Hsiung and S. Cheng, inProceedings of the 16th International Conference on VLSI Design (VLSI' 03), New Delhi, India, IEEE CS Press, 2003, pp.249-254.