Implementation of Control Systems Using B Action Systems: A Case Study. - Pontus Boström; Marina Waldén (Nord. J. Comput., 2004)

Development of Fault Tolerant Grid Applications Using Distributed B. - Pontus Boström; Marina Waldén (IFM, 2005)

An Extension of Event B for Developing Grid Systems. - Pontus Boström; Marina Waldén (ZB, 2005)

Formal Transformation of Platform Independent Models into Platform Specific Models. - Pontus Boström; Mats Neovius; Ian Oliver; Marina Waldén (B, 2007)

Stepwise Development of Simulink Models Using the Refinement Calculus Framework. - Pontus Boström; Lionel Morel; Marina Waldén (ICTAC, 2007)

Creating Sequential Programs from Event-B Models. - Pontus Boström (IFM, 2010)

Contract-Based Verification of Simulink Models. - Pontus Boström (ICFEM, 2011)

Concurrent Scheduling of Event-B Models - Pontus Boström; Fredrik Degerlund; Kaisa Sere; Marina Waldén (Refine@FM, 2011)

Refinement-Based Development of Timed Systems. - Jesper Berthing; Pontus Boström; Kaisa Sere; Leonidas Tsiopoulos; Jüri Vain (IFM, 2012)

Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems. - Petr Alexeev; Pontus Boström; Marina Waldén; Mikko Huova; Matti Linjama; Kaisa Sere (PECCS, 2013)

Analysis of Real-Time Properties of a Digital Hydraulic Power Management System. - Pontus Boström; Petr Alexeev; Mikko Heikkilä; Mikko Huova; Marina Waldén; Matti Linjama (FMICS, 2014)

Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code. - Jonatan Wiik; Pontus Boström (ICFEM, 2014)

Verification and Validation of a Pressure Control Unit for Hydraulic Systems. - Pontus Boström; Mikko Heikkilä; Mikko Huova; Marina Waldén; Matti Linjama (SERENE, 2014)

Derivation of concurrent programs by stepwise scheduling of Event-B models. - Pontus Boström; Fredrik Degerlund; Kaisa Sere; Marina Waldén (Formal Aspects Comput., 2014)

Modular Verification of Finite Blocking in Non-terminating Programs. - Pontus Boström; Peter Müller 001 (ECOOP, 2015)

Derivation of Parallel and Resilient Programs from Simulink Models. - Sergey Ostroumov; Pontus Boström; Marina Waldén (PDP, 2015)

Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems. - Pontus Boström; Mikko Heikkilä; Mikko Huova; Marina Waldén; Matti Linjama (QEST, 2015)

Integrating Refinement-Based Methods for Developing Timed Systems. - Jüri Vain; Leonidas Tsiopoulos; Pontus Boström (From Action Systems to Distributed Systems, 2016)

Contract-based verification of MATLAB-style matrix programs. - Jonatan Wiik; Pontus Boström (Formal Aspects Comput., 2016)

Contract-based verification of discrete-time multi-rate Simulink models. - Pontus Boström; Jonatan Wiik (Softw. Syst. Model., 2016)

Specification and Automated Verification of Dynamic Dataflow Networks. - Jonatan Wiik; Pontus Boström (SEFM, 2017)