Text this: Global specification and validation of embedded systems