1
2
3
4
5
6
7
9
“...In the development of critical systems it is common practise to make use of redundancy in order...”
Behavioural Preservation in Fault Tolerant Patterns
Dissertação