@InProceedings{azaiez:proving, author = {Selma Azaiez and Damien Doligez and Matthieu Lemerre and Tomer Libal and Stephan Merz}, title = {Proving Determinacy of the {PharOS} Real-Time Operating System}, booktitle = {5th Intl. Conf. Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2016)}, publisher = {Springer}, year = 2016, editor = {Michael Butler and Klaus-Dieter Schewe and Atif Mashkoor and Mikl{\'o}s Bir{\'o}}, series = {LNCS}, volume = {9675}, pages = {70-85}, }