Formal Methods in System Design | 2002(21) articles