This file was created by the TYPO3 extension bib --- Timezone: CEST Creation date: 2024-09-07 Creation time: 23-29-57 --- Number of references 1 inproceedings DombrowskiSRDS16 2016 9 27 307--316 fault tolerance;formal verification;protocols;wireless channels;EchoRing protocol;fault-tolerant methods;formal model-based verification;model-checking assisted protocol;probabilistic model checking;reliability constraints;safety-critical industrial applications;salient features;token loss;token-based system;ultrareliable low-latency wireless networks;unprecedented latency;wireless networking community;wireless protocols;wireless token-passing systems;Automata;Model checking;Payloads;Probabilistic logic;Protocols;Reliability;Wireless communication;Model checking;Probabilistic timed automata;Token passing;Wireless Industrial Networks;tool-assisted protocol design;validation cps,hodrian http://ieeexplore.ieee.org/document/7794360/ Proc. of IEEE 35th Symposium on Reliable Distributed Systems IEEE Budapest, Hungary IEEE 35th Symposium on Reliable Distributed Systems (SRDS) 10.1109/SRDS.2016.048 1 ChristianDombrowski SebastianJunges Joost-PieterKatoen JamesGross