Oliveira, Marcio F. S., et al. “Assertion-Based Verification of RTOS Properties.”10.1109/DATE.2010.5457130__Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5457130.

Schattkowsky, Tim, et al. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.”10.1109/DATE.2005.20__Proceedings of DATE’05, IEEE, 2005, doi:10.1109/DATE.2005.20.