SAE/TP 2009-01-3232 (PDF) Proof-Based Engineering of Real-Time Applications: An RTEdge Case Study