Formal Methods in System Design | 1998(13) articles