Formal Methods in System Design | 2009(35) articles