Formal Methods in System Design | 2005(26) articles