| RTOS-aware modeling of embedded hardware/software systems | 0 | 0.34 | 2010 |
| Semiformal verification of temporal properties in automotive hardware dependent software | 7 | 0.50 | 2009 |
| Coverage Driven Verification applied to Embedded Software | 5 | 0.49 | 2007 |
| A methodology and tool for automated transformational high-level design space exploration | 7 | 0.58 | 2000 |
