Formal Methods in System Design | 2007(30) articles