Analysis and Evaluation of the German Toll System Using a Holistic Executable Specification | IEEE Conference Publication | IEEE Xplore