Text this: Compositional Verification of Concurrent and Real-Time Systems /