Formal Methods in System Design | 2006(28) articles