Formal Methods in System Design | 2003(23) articles