Check and simulate: a case for incorporating model checking in network simulation | IEEE Conference Publication | IEEE Xplore