Viewpoint: Formal verification with constraints - It doesn't have to be like tightrope walking By February 2, 2010
Embedded system virtualization for executable specifications and use case modeling By February 1, 2010
Methodology for Rapid Development of Loosely Timed and Approximately Timed TLM Peripherals By January 21, 2010