Formal Methods in System Design | 1999(14) articles