Formal Methods in System Design | 1999(15) articles