An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems. - Rajesh Kumar 005; Bruce H. Krogh; Peter H. Feiler (HSCC, 2005)

Heterogeneous verification of embedded control systems. - Rajesh Kumar 005; Bruce H. Krogh (ACC, 2006)

A New Logic Programming Framework for Heterogeneous Verification of Embedded Control Systems. - Rajesh Kumar 005; Bruce H. Krogh (ACC, 2007)