Formal Methods in System Design | 2009(34) articles