@inproceedings{dAFS04,
    author = {de Alfaro, L. and Faella, M. and Stoelinga, M.}, 
    booktitle = {Proceedings 31st International Colloquium on Automata, Languages and Programming {(ICALP'04)}, 
    title = {Linear and Branching Metrics for Quantatative Transition Systems}, 
    year = 2004, 
    series = "Lecture Notes in Computer Science", 
    publisher = "Springer--Verlag", 
    volume = 3142,
    pages = "97--109"
}