Liu, Jieyu:
Preformability Analysis and Validation of a Large Scale Fielbus system by Formal Methods.
Dissertation, Technische Universität Braunschweig, , November 2016.
SmallCAN; Busload Validation; Concurrent-Message-Sending; Emergent Message Burst