Formal Methods in System Design | 2004(24) articles