{
  "@context": {
    "@vocab": "http://schema.org/",
    "rdau": "http://rdaregistry.info/Elements/u/",
    "skos": "http://www.w3.org/2004/02/skos/core#",
    "skos:prefLabel": {
      "@container": "@language"
    }
  },
  "@graph": [
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00039792400",
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000135171"
      },
      "name": "Optimisation based black-box testing of assertions in Simulink models"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00055008100",
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000135171"
      },
      "name": "Formal design and verification of systems using domain-specific languages"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00046134800",
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000135171"
      },
      "name": "Mode-automata in Simulink/Stateflow"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00030911300",
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000135171"
      },
      "name": "A healthcare case study : Fillwell"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00039791300",
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000135171"
      },
      "name": "Development of fault tolerant grid applications using distributed B"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00041539900",
      "contributor": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000135171"
      },
      "name": "Formal transformation of platform independent models into platform specific models in MDA"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:au:pn:000135171",
      "@type": "Person",
      "name": "Boström, Pontus"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00035727200",
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000135171"
      },
      "name": "An extension of Event B for developing grid systems"
    }
  ]
}