Topics In Monitoring And Planning For Embedded Real-Time Systems