Text this: Teaching Formal Models of Concurrency Specification and Analysis