Annotations for frozen-time and simple STL semantics introduced.
Information about formula printed when simulation starts.
Error in temporal STL* monitor corrected.
Star logic employed in application.