Formal Methods in System Design | 2008(33) articles