Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL.

Kim G. Larsen

Browse the full MODELSWARD paper archive.