% 
% This file was created by the TYPO3 extension
% bib
% --- Timezone: CEST
% Creation date: 2024-04-19
% Creation time: 20-50-49
% --- Number of references
% 1
% 

@Inproceedings { DombrowskiSRDS16,
   title = {Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks},
   year = {2016},
   month = {9},
   day = {27},
   pages = {307--316},
   keywords = {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},
   tags = {cps,hodrian},
   web_url = {http://ieeexplore.ieee.org/document/7794360/},
   booktitle = {Proc. of IEEE 35th Symposium on Reliable Distributed Systems},
   organization = {IEEE},
   event_place = {Budapest, Hungary},
   event_name = {IEEE 35th Symposium on Reliable Distributed Systems (SRDS)},
   DOI = {10.1109/SRDS.2016.048},
   reviewed = {1},
   author = {Dombrowski, Christian and Junges, Sebastian and Katoen, Joost-Pieter and Gross, James}
}