PRISM: An Object-Oriented System Modeling Toolkit