{"entities":{"Q315303":{"pageid":317070,"ns":120,"title":"Item:Q315303","lastrevid":60935868,"modified":"2026-04-10T20:05:36Z","type":"item","id":"Q315303","labels":{"en":{"language":"en","value":"Formal modelling and verification of GALS systems using GRL and CADP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6628716"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$02C36739-A846-4007-B76D-02AFD899549F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a786d67cd83905d05ac0de73769db70c30b072a","datavalue":{"value":{"text":"Formal modelling and verification of GALS systems using GRL and CADP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q315303$43EAAEE6-A40F-4108-99C4-650B5008CF59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77639e5fedff9aa741896f910b159b7ad29f74fd","datavalue":{"value":"1345.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315303$808AFF71-68BB-445D-8E3C-64A6506227DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84b7532587bf97ced6e0fec86df5d8387bd2a1df","datavalue":{"value":{"entity-type":"item","numeric-id":315302,"id":"Q315302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$B02366C4-2958-412F-AD07-7AC181F66ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03803a86c259dd7d40f426fa3d0b01530e98d11c","datavalue":{"value":{"entity-type":"item","numeric-id":282107,"id":"Q282107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$B6A54E96-5B52-4DF3-8C4C-47A24931CF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02c329ce73cf2cf05208eaecb8501cfdd9b30fb6","datavalue":{"value":{"entity-type":"item","numeric-id":282109,"id":"Q282109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$8BF10697-7D96-451E-A087-A58731B72F8C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$49B30D68-AE92-49A8-AFF4-1438F6794091","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbba08bda189fa94872c99bc6572a2cbb863f372","datavalue":{"value":{"time":"+2016-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q315303$60FBF62D-BF4E-4917-853B-8181641CFB8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f95e2b217d32438cdcfbbde2a2838fc78d92b545","datavalue":{"value":"https://hal.inria.fr/hal-01290449/file/fac2egui-crc.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q315303$0A549C25-373B-439B-97C7-2CE2B191309F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315303$49A97C7E-75DD-45EA-830C-862A92E858D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315303$A1A7DA52-5130-476A-BC46-7EB178C80898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315303$603A7BD4-03FC-4342-987C-2D746E2A4823","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ca2ea8396c81d86f52387476ee12a6bc5fcba05","datavalue":{"value":"6628716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315303$EEF22ADD-356E-4D72-BFD2-EDB9D67D174C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c689d3a2914d22ede811fbe5e2b4d0f388f35550","datavalue":{"value":"GALS systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q315303$161C8652-318E-4B54-A115-324469366AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17699da950c7d54c058a694bf700f45dfcd01f25","datavalue":{"value":"asynchronous concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q315303$D80E4DAA-B19D-4078-B6C5-142C853CA020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed31551b17c88fefc00220195c02a9f143daa07c","datavalue":{"value":"formal description techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q315303$7001CFDA-EF47-42BE-9D0D-D706134D68BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5683f4525aeda6c1e22a38ebca5b57005d51b87","datavalue":{"value":"model-based verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q315303$4B613750-4A50-4DDD-83CD-0262698DA6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec34717c0af48c2b4ae901480599df949865eba1","datavalue":{"value":"GRL","type":"string"},"datatype":"string"},"type":"statement","id":"Q315303$B7F8BDF5-FAE8-448E-AD6F-E21437AE9F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8485bc03597e007fbe73da87eac41781e70f3ef","datavalue":{"value":"CADP","type":"string"},"datatype":"string"},"type":"statement","id":"Q315303$CE5D66C5-BF9E-4115-AD7A-776D7C0CD26E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$39FE46D5-A02F-4869-8D6E-CAE227712AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"41af22c53310361878101464ae427cd0b0ef722e","datavalue":{"value":{"entity-type":"item","numeric-id":24231,"id":"Q24231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$4922EF16-EF0A-4CEE-9757-65306C05CD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"320fde6b6a7fd984e73bf27b9c1f9abca8e3c371","datavalue":{"value":{"entity-type":"item","numeric-id":28709,"id":"Q28709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$5D8610FA-60D7-400B-AAF0-6795E8982ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$5A0811D9-AC47-4FC9-8ECD-230271D1C396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b277d65df20516e74fdb8020d87028335a5d2a61","datavalue":{"value":{"entity-type":"item","numeric-id":15551,"id":"Q15551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$37768FB0-2BFC-47F8-9A58-CC7D3B19F93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$248C2D1F-C8AE-4A7C-97DF-9141EB5A2077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c2bbc1888f3e72bf1a3c3f77c3aa1e54863d5ef","datavalue":{"value":{"entity-type":"item","numeric-id":32236,"id":"Q32236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$A3FCFC05-C385-447F-B371-78A31BF26519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4c7e48040248e5cbf787affe13105e0d6ff624c6","datavalue":{"value":{"entity-type":"item","numeric-id":32649,"id":"Q32649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$F368AC11-6F39-4BB1-8DCB-9C914E81C55B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$00BE7ECE-5F45-438A-BB1D-F930AF93D347","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd1f191a7f4f7940fa01efa1e1e2974d548d9ea0","datavalue":{"value":"W2306232110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315303$288D15F6-D0F4-4242-ACEC-451C44448755","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc67989a4db063076656a189a2da0d9dc9002856","datavalue":{"value":{"entity-type":"item","numeric-id":4270056,"id":"Q4270056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$95CA1B01-6FC5-46FF-BE62-BB10D179EADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a2354c5b955a2cf077b08442398b818f10a459e","datavalue":{"value":{"entity-type":"item","numeric-id":2870196,"id":"Q2870196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$BF65778F-46F5-4E5B-B54E-82BC84157E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28224eecd9387c25217ae7ba6eb59bfcfab5db5","datavalue":{"value":{"entity-type":"item","numeric-id":4787220,"id":"Q4787220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$465520DE-4423-42C7-A098-DBF766259E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"145035b8ee9741ea88c2598e69525985497f7fbc","datavalue":{"value":{"entity-type":"item","numeric-id":5953450,"id":"Q5953450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$2C24CC4C-D86B-4D20-9BC0-2DD954E8776B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fa0860d509d7a32953294f255a9faf7cabecdf1","datavalue":{"value":{"entity-type":"item","numeric-id":2350492,"id":"Q2350492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$16B78541-F263-434E-B3B5-095396BDAA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1a65654ed3825a8a067a30f12b797aa63e906a","datavalue":{"value":{"entity-type":"item","numeric-id":4444743,"id":"Q4444743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$63D43480-B2CC-4670-803E-B76E4398D6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dbeb5969e306edb59d7ae18c7320350db34a4b3","datavalue":{"value":{"entity-type":"item","numeric-id":2505637,"id":"Q2505637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$C6C82F96-A353-4CF6-9D12-4A54E8D74537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f289ed1e4904e505d352c419dd38aa1403fb38c","datavalue":{"value":{"entity-type":"item","numeric-id":4738368,"id":"Q4738368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$018F2A1A-C583-45ED-8AEA-6D8542CEC6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5d04efe2bb7a3ba846d8362c8253576775f83a3","datavalue":{"value":{"entity-type":"item","numeric-id":3000666,"id":"Q3000666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$E3D60EE9-7C74-49F9-8386-FCD3EB2AB160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$589115CF-3ECE-4B79-902C-89B5F859835B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7daeb403dc6eb02b2b3d98538b63790ac31827c","datavalue":{"value":{"entity-type":"item","numeric-id":4284985,"id":"Q4284985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$ACF8F887-D3B9-41EF-B206-8B1E133A901B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad8cded1d83b09b704587dfbd4f3924d5988e11","datavalue":{"value":{"entity-type":"item","numeric-id":4439584,"id":"Q4439584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$30DC34F8-16C4-4276-8D5F-6BB389954E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$E60B15AA-069F-4ADC-88FE-CEFF1C76C7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$EF124B94-9AB5-4BED-8D5C-9A17ADD696E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$1839770F-3879-4DFC-94CF-8DA87E8DF033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea9867fcf0b18c3c24550b95cef19329dfdc4151","datavalue":{"value":{"entity-type":"item","numeric-id":2895778,"id":"Q2895778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$0BFAA073-33F0-43DF-B137-C85BDAB3B11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c918ba909b7ffd33aad625b5296f583d9c84ad3","datavalue":{"value":{"entity-type":"item","numeric-id":1749143,"id":"Q1749143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$F671F2F3-F12D-4FC8-BABE-E68E0140D473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5435fe92f35277fe917336889c915998ff808c24","datavalue":{"value":{"entity-type":"item","numeric-id":5312940,"id":"Q5312940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q315303$5BCAFEF0-CA48-44F9-869F-919C0ECE36DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62d275bfc2413398b91e2f84173cabc41dbe0a8c","datavalue":{"value":"10.1007/S00165-016-0373-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q315303$70C71457-620F-43F9-B52D-46082DF4661E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a4756403d3bd42cfaef9dee847628f1190f231","datavalue":{"value":{"entity-type":"item","numeric-id":5312940,"id":"Q5312940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96bf4f0f8113e7423f258994cf2ba5fb5f31e74c","datavalue":{"value":{"amount":"+0.8482347130775452","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q315303$127F8433-1063-4A26-B57E-9C3D11706293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec2e178bc94c5dc54b02180906f5f6ec59e26a1e","datavalue":{"value":{"entity-type":"item","numeric-id":2043814,"id":"Q2043814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5760f459a929ca10a68605c7cd1d3087929b6b6e","datavalue":{"value":{"amount":"+0.750040590763092","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q315303$CCEC1FE0-FAE5-4965-9B8F-03989CBC326D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362812c140b7d3a79c3d9058990055b563965d1c","datavalue":{"value":{"entity-type":"item","numeric-id":4439584,"id":"Q4439584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a979c08ddf802e6a705e87f3dc610b899de1cec","datavalue":{"value":{"amount":"+0.7431128025054932","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q315303$B77C2C2F-0E08-46E2-9D7B-556EC83095B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acdbd4b4c30847811334ef8b85e7bbac73003574","datavalue":{"value":{"entity-type":"item","numeric-id":4507869,"id":"Q4507869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"240969a73235bde0d70db350de148dac65adaa2a","datavalue":{"value":{"amount":"+0.7300326824188232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q315303$73C8B7E6-7E07-459F-8E34-4FFE9182ACFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b49da0cdabfdc101e79ac28316a6419c8cf31b85","datavalue":{"value":{"entity-type":"item","numeric-id":3840911,"id":"Q3840911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89542a83f348dd1536bf4f142b75aa301a15d2ef","datavalue":{"value":{"amount":"+0.718808650970459","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q315303$E5C32C65-2A55-46E8-865D-83D8CB7A1F4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal modelling and verification of GALS systems using GRL and CADP","badges":[]}}}}}