ByNobleID
    Specification and Verification of Polling Real-Time Systems | NobleID