-- A Sound Observational Semantics for Modal Transition Systems -- Regular Expressions