Documenting the Progress of the System Development. - Marta Plaska; Marina Waldén; Colin F. Snook (Methods, Models and Tools for Fault Tolerance, 2009)