Formal Methods in System Design | 2001(19) articles