P.-A. Hsiung, T.-Y. Lee, J.-M. Fu, and W.-B. See, "Formal Verification of Real-Time Embedded Software in an Object-Oriented Application Framework," IEE Proceedings --- Computers and Digital Techniques, Vol. 151, No. 6, pp. 417-434, November 2004. |
P.-A. Hsiung, " Synthesis and Control of Soft Embedded Real-Time Systems," Annual Review of Communications , International Engineering Consortium , USA, Vol. 57, November 2004. |
T.-Y. Lee and P.-A. Hsiung, " Embedded Software Synthesis and Prototyping," IEEE Transactions on Consumer Electronics , Vol. 50, No. 1, pp. 386-392, February 2004. |