Formal Methods in System Design | 1997(10) articles