Verifikation von Analyseverfahren in Echtzeitsystemen