<style face="normal" font="default" size="100%">SysVeritas: {A} Framework for Verifying {IOPT} Nets and Execution Semantics within Embedded Systems Design</style>

Drupal-Biblio