Over the years, research efforts have been made in the direction of “next generation” PRA software and “declarative modeling”, which try to present a more informative view of the actual systems, components, and interactions which the model represents. The concern of these studies has been to end the use of approximations: