{
  "@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:W00037182000",
      "contributor": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000109876"
      },
      "name": "Formal development of software for tolerating transient faults"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00273426000",
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000109876"
      },
      "name": "Stepwise development of dependable systems"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00016724700",
      "contributor": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000109876"
      },
      "name": "The probabilistic steam boiler : a case study in probabilistic data refinement"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:au:pn:000109876",
      "@type": "Person",
      "name": "Troubitsyna, Elena"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00090732300",
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000109876"
      },
      "name": "Enhancing dependability via parameterized refinement"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00035769800",
      "contributor": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000109876"
      },
      "name": "A formal model-driven approach to requirements engineering"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00029843800",
      "contributor": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000109876"
      },
      "name": "Fault tolerance in a layered architecture : a general specification pattern in B"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00031000900",
      "contributor": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000109876"
      },
      "name": "Refinement of fault tolerant control systems in B"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00018336100",
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000109876"
      },
      "name": "Refining for safety"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00018668100",
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000109876"
      },
      "name": "Specifying safety-related hazards formally"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00036404800",
      "contributor": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000109876"
      },
      "name": "Formal development of dynamically adaptable fault tolerant systems"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00527515300",
      "contributor": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000109876"
      },
      "name": [
        "Formal Methods 2008",
        "Proceedings of Doctoral Symposium held in conjunction with Formal Methods 2008 : May 27, 2008, Turku, Finland"
      ]
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00036403500",
      "contributor": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000109876"
      },
      "name": "Formal service-oriented development of fault tolerant systems"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00018336200",
      "contributor": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000109876"
      },
      "name": "Hazard analysis in formal specification"
    }
  ]
}