{"version":"1.0","type":"rich","provider_name":"CNXT","provider_url":"https://centralbanks.app","title":"Formal Methods in System Design","author_name":"Organization Edition","thumbnail_url":"https://centralbanks.app/api/og/share.png?h=web%2Busd%3A%2F%2Forg-crossref-issn-0925-9856&n=Formal+Methods+in+System+Design&a=blue&k=Organization+Edition&v=4","thumbnail_width":1200,"thumbnail_height":630,"width":1200,"height":630,"html":"<a href=\"https://centralbanks.app/u/web%2Busd%3A%2F%2Forg-crossref-issn-0925-9856\"><img src=\"https://centralbanks.app/api/og/share.png?h=web%2Busd%3A%2F%2Forg-crossref-issn-0925-9856&amp;n=Formal+Methods+in+System+Design&amp;a=blue&amp;k=Organization+Edition&amp;v=4\" width=\"1200\" height=\"630\" alt=\"Formal Methods in System Design — CNXT\"/></a>"}