ByNobleID
    Cloud-based runtime verification of health-caring systems using software agents | NobleID