Modeling and Formal Verification of a Commercial Microcontroller for Embedded System Applications (1998)

by S Balakrishnan, S Tahar
Venue:Proc. IEEE 10th International Conference on Microelectronics (ICM'98), Monastir