Using FRET to create, analyze and monitor requirements for a lift plus cruise case study / - Pressburger, Thomas