Roberto Pietrantuono Nuno Silva 2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29 - December 2, 2011 IEEE Computer Society 2011 978-0-7695-4617-9 http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6118341 WOSOCER db/conf/issre/wosocer2011.html