Formal Methods in System Design | 2006(29) articles