1
3
“...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