Interpreting Message Flow Graphs Peter B. LadkinStefan Leue OriginalPaper 21 April 2015 Pages: 473 - 509
Verification of schedulability for real-time programs Zhiming LiuMathai JosephTomasz Janowski OriginalPaper 21 April 2015 Pages: 510 - 532
Towards a practitioners' approach to Abadi and Lamport's method Kai EngelhardtWillem -Paul de Roever OriginalPaper 21 April 2015 Pages: 550 - 575