Text this: Formal methods and models for system design: