ByNobleID
    Towards a truck-driver model using a hysteresis based analysis and verification approach | NobleID