"Re-Engineering Fault Tolerance Requirements: A Case Study in Specifying ..."

Diego Del Gobbo, Ali Mili (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics