Formal Methods in System Design | 2001(18) articles