Three papers, submitted to the MARS workshop, a workshop on modelling real systems, were accepted for publication: a paper on the IEEE 1394 Link Layer by Hubert Garavel and Bas Luttik, a paper on Tunnel Control Systems by Kevin Jilissen, Peter Dieleman and Jan Friso Groote, and a paper on the RAFT consensus protocol, by Parth Bora, Minh Pham Duc and Tim Willemse.