Book

Quantitative Evaluation of Systems

by Javier Campos, Boudewijn R. Haverkort