Status Updates
Behavioral Language for Embedded Systems with Software: semi-automatic generation of correctness proofs of software for real-time systems