1
Published 2005
Springer Berlin Heidelberg
... cycle – fault tolerance re?nement, evolution and decomposition – atomicity and exception handling...