Verification (RV 2011). Runtime Verification for Ultra-Critical Systems

by Lee Pike , Sebastian Niller , Nis Wegmann