Formal Methods in System Design | 2000(16) articles