Formal Methods in System Design | 2008(32) articles