A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems. - Magnus Persson 001; Martin Törngren; Ahsan Qamar; Jonas Westman; Matthias Biehl; Stavros Tripakis; Hans Vangheluwe; Joachim Denil (EMSOFT, 2013)

A Reference Example on the Specification of Safety Requirements using ISO 26262. - Jonas Westman; Mattias Nyberg (DECS@SAFECOMP, 2013)

Structuring Safety Requirements in ISO 26262 Using Contract Theory. - Jonas Westman; Mattias Nyberg; Martin Törngren (SAFECOMP, 2013)

Experience on applying software architecture recovery to automotive embedded systems. - Xinhai Zhang; Magnus Persson 001; Mattias Nyberg; Behrooz Mokhtari; Anton Einarson; Henrik Linder; Jonas Westman; De-Jiu Chen; Martin Törngren (CSMR-WCRE, 2014)

Environment-Centric Contracts for Design of Cyber-Physical Systems. - Jonas Westman; Mattias Nyberg (MoDELS, 2014)

Failure Propagation Modeling Based on Contracts Theory. - Mattias Nyberg; Jonas Westman (EDCC, 2015)

Formal Architecture Modeling of Sequential C-Programs. - Jonas Westman; Mattias Nyberg (FACS, 2015)

Extending Contract theory with Safety Integrity Levels. - Jonas Westman; Mattias Nyberg (HASE, 2015)

CPS Specifier - A Specification Tool for Safety-Critical Cyber-Physical Systems. - Jonas Westman; Mattias Nyberg; Oscar Thydén (CyPhy, 2016)

Specifying Safety-Critical Heterogeneous Systems Using Contracts Theory. - Jonas Westman (2016)

Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report. - Dilian Gurov; Christian Lidström; Mattias Nyberg; Jonas Westman (FMICS-AVoCS, 2017)

Formal architecture modeling of sequential non-recursive C programs. - Jonas Westman; Mattias Nyberg; Joakim Gustavsson; Dilian Gurov (Sci. Comput. Program., 2017)

A Hoare Logic Contract Theory: An Exercise in Denotational Semantics. - Dilian Gurov; Jonas Westman (Principled Software Development, 2018)

Preserving Contract Satisfiability Under Non-monotonic Composition. - Jonas Westman; Mattias Nyberg (FORTE, 2018)

Formal Verification in Automotive Industry: Enablers and Obstacles. - Mattias Nyberg; Dilian Gurov; Christian Lidström; Andreas Rasmusson; Jonas Westman (ISoLA (4), 2018)

Architecting Safety Supervisors for High Levels of Automated Driving. - Martin Törngren; Xinhai Zhang; Naveen Mohan; Matthias Becker 004; Lars J. Svensson; Xin Tao 003; De-Jiu Chen; Jonas Westman (ITSC, 2018)

Conditions of contracts for separating responsibilities in heterogeneous systems. - Jonas Westman; Mattias Nyberg (Formal Methods Syst. Des., 2018)

Building a Web-Based Federated Toolchain: Lessons Learned From a Four-Year Industrial Project. - Damir Nesic; Jad El-khoury; Jonas Westman; Mattias Nyberg (iiWAS, 2019)

Improved Pattern for ISO 26262 ASIL Decomposition with Dependent Requirements. - Christian Lidström; Carl Bondesson; Mattias Nyberg; Jonas Westman (QRS Companion, 2019)

Providing tool support for specifying safety-critical systems by enforcing syntactic contract conditions. - Jonas Westman; Mattias Nyberg (Requir. Eng., 2019)

Formally Proving Compositionality in Industrial Systems with Informal Specifications. - Mattias Nyberg; Jonas Westman; Dilian Gurov (ISoLA (3), 2020)