In collaboration with the ESPRIT PDCS project we intend to study dependability aspects of system specifications. We will strive to establish a formal interface between reliability assessment models and the models defined by the specifications [27] [39].