Text this: An introduction to practical formal methods using temporal logic /