ByNobleID
    A modal characterisation of observable machine-behaviour | NobleID