Tetra
A Flexible Control Architecture for the UMTS Mobile Terminal
ObjectCheck: A Model Checking Tool for Executable Object-oriented Software System Designs