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.
LibreCat: /record/37009
DOI: 10.1109/DATE.2010.5457130

Müller, Wolfgang, et al. “The Formal Execution Semantics of SpecC.”10.1145/581199.581234 __Proceedings of the ISS, 2002, doi:10.1145/581199.581234 .
LibreCat: /record/39382
DOI: 10.1145/581199.581234 

Dücker, M., et al. “Innovative Concepts for Configurating Shared Workspaces through Visual Programming.”10.1109/HICSS.1999.773046__10.1109/HICSS.1999.773046__Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences, 1999, doi:10.1109/HICSS.1999.773046.
LibreCat: /record/39488
DOI: 10.1109/HICSS.1999.773046