STL to MTL parser translator developed by the Cyber-Physical Systems Lab at Arizona State University.