@inproceedings{Boutaba:1996:APC:829511.830380,
 author = {Dini, P.  and  Bochmann, G. v. and Boutaba, R.},
 title = { Health Performance Evaluation and Formalization for Distributed System Components},
 booktitle = {Proceedings of the 2nd IEEE International Workshop on Systems Management (SMW'96)},
 series = {SMW '96},
 year = {1996},
 pages = {20--29},
 publisher = {IEEE Computer Society},
}