Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements