Ada Timed Regular Expressions' Based Monitors