3 works on record
Verification and Evaluation of Computer and Communication Systems
From Programs to Systems - The Systems Perspective in Computing
Runtime Verification