Monica Anne Brockmeyer

• Monitoring, testing, and abstractions of real-time specifications