Semantics and Verification of a Language for Modelling Hardware Architectures. - Michael R. Hansen; Jan Madsen; Aske Wiid Brekling (Formal Methods and Hybrid Real-Time Systems, 2007)

Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata. - Tolga Ovatman; Aske Wiid Brekling; Michael R. Hansen (FESCA@ETAPS, 2008)

Models and formal verification of multiprocessor system-on-chips. - Aske Wiid Brekling; Michael R. Hansen; Jan Madsen (J. Log. Algebraic Methods Program., 2008)

On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic. - Michael R. Hansen; Aske Wiid Brekling (TIME, 2011)

A practical approach to model checking Duration Calculus using Presburger Arithmetic. - Michael R. Hansen; Anh-Dung Phan; Aske Wiid Brekling (Ann. Math. Artif. Intell., 2014)