Past Master Projects Mark Bouwman: A model-based test platform for rail signalling systems. Hong Zhang: Quality metrics for ASOME data models. Ferry Timmers: A complete axiomatisation for probabilistic trace equivalence. Lisette Sanchez: Learning software behavior through active automata learning with data. Lois Nijland: Adding sequential composition and termination to the linear time – branching time spectrum. Astrid Belder: Decidability of bisimilarity and axiomatisation for sequential processes in the presence of intermediate termination. Marijn Rol: Verification of ASD multi-component systems in mCRL2. Ziad Ben Snaiba: Logics and Algorithms for Product and Family-Based Analysis of Software Product Lines. Ruud van Vijfeijken: Performance evaluation of network on chip using formal models. Maurice Laveaux: Abstracting real-valued parameters in parameterised Boolean equation systems. Roxana Paval: Modeling and Verifying Concurrent Data Structures. Perry van Wesel: Formal analysis of ring networks. Olav Bunte: Quantitative model checking on probabilistic systems using plmu*+.