Paolo Nesi Maurizio Campanai Metric framework for object-oriented real-time systems specification languages. 43-65 1996 34 Journal of Systems and Software 1 http://dx.doi.org/10.1016/0164-1212(95)00064-X db/journals/jss/jss34.html#NesiC96