A Timing Constraint Search Technique for a TMO based Real-time Process | Synapse