Marco Vieira, João Carlos Cunha Dependable Computing - Germany Springer 2013 ISBN: 978-3-642-38789-0 Subjects--Topical Terms: Computer ScienceDependable Computing