Formal Methods in System Design | 2000(17) articles