Media type: E-Article Title: Refinement Techniques in Software Engineering: Real-Time and Fault-Tolerant Systems Contributor: Liu, Zhiming; Joseph, Mathai imprint: Springer Berlin Heidelberg, 2006 Published in: Refinement Techniques in Software Engineering Language: Not determined DOI: 10.1007/11889229_5 ISSN: 0302-9743; 1611-3349 Origination: Footnote: