System Engineering and Automation - Fernandez de Canete, Javier; Galindo, Cipriano; Garcia-Moral, Inmaculada (Springer Berlin Heidelberg, 2011)