Yampa is a domain-specific language embedded in Haskell for programming hybrid systems, based on...