Using Run-Time Checking to Provide Safety and Progress for Distributed Cyber-Physical Systems
4.-IMPLICIT RELATIONS.full