book-chapter · 1989Proper, a Performability Modelling and Analysis Tool1 citationsDOI: https://doi.org/10.1007/978-1-4613-0533-0_22