Formal Methods in System Design | 1998(12) articles