Text this: Specification and design methodology for real-time embedded systems