Formal verification of hybrid systems using CheckMate: a case study. - B. Izaias Silva; Bruce H. Krogh (ACC, 2000)

Modeling and verification of hybrid systems with clocked and unclocked events. - B. Izaias Silva; Bruce H. Krogh (CDC, 2001)

An assessment of the current status of algorithmic approaches to the verification of hybrid systems. - B. Izaias Silva; Olaf Stursberg; Bruce H. Krogh; Sebastian Engell (CDC, 2001)