{"entities":{"Q386617":{"pageid":388384,"ns":120,"title":"Item:Q386617","lastrevid":61454229,"modified":"2026-04-10T23:28:46Z","type":"item","id":"Q386617","labels":{"en":{"language":"en","value":"Robust synthesis for real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236853"}},"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":"Q386617$C0E6783F-96D0-4295-914B-1E873CB17019","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f327b827d678c446be04542f8356a386f05f916","datavalue":{"value":{"text":"Robust synthesis for real-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q386617$E68CDC1C-6B96-4071-B189-31E81CE1D345","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"365a217416c9971191deb9ca6173372efe2659df","datavalue":{"value":"1311.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386617$A9C2E073-4145-4568-B57E-C60011C01EF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$C5DBF5A2-2F1F-4837-998C-10296274B1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcd4b26fd536e6aa8f09ce8ab65a6210fabcecfe","datavalue":{"value":{"entity-type":"item","numeric-id":386616,"id":"Q386616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$FE49DDB0-EFCF-45C8-B274-E6A296653D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d53e9570d442a569b789880085f203ff32389ae","datavalue":{"value":{"entity-type":"item","numeric-id":338616,"id":"Q338616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$7D87AB02-34E7-44AB-A97D-87BCCDC02971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$14448C43-D56E-47B8-968D-0A507D26A528","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$409A545F-1858-40D1-98FA-58A91FC8D9A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e990124985cbc9928eee57b5fc6b3c854c8f2494","datavalue":{"value":{"time":"+2013-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q386617$E44C84C4-0878-48DE-BB7E-DA83CB37278E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386617$CBCE625F-23D4-4776-83ED-175A26C8A655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386617$5A160132-9B0D-41B8-8208-369E827D9B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386617$190C0651-2204-40A4-B2C3-5738975B3FBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b248c83c8d3c2c9ed562ed4c84bf2afb85fcc98","datavalue":{"value":"6236853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386617$74897C71-E2F4-418D-823A-E4EA4589B006","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a49d2691740729e2dd9c1c611233c1d06693479","datavalue":{"value":"stepwise refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q386617$A9889881-B3EB-4F8A-8839-04C20DD878B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7395df5e599e4960127347ec97559dd71a5ddcf4","datavalue":{"value":"timed I/O automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q386617$AE155995-960A-4008-B2C2-2EDF591D46B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"846b967df58bd1b5e5fe380a36a7ee5d31c751f1","datavalue":{"value":"timed games","type":"string"},"datatype":"string"},"type":"statement","id":"Q386617$0112DF21-1567-4515-9E82-A1695BDA1FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4914568f4a47d4488b4e0b32faffb9bb206afa58","datavalue":{"value":"specification theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q386617$B7E33B3C-1A37-4E75-92FC-91C14B04BF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762bc1a389b4540cd169b666dbaf1a8451c7cb2","datavalue":{"value":"robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q386617$11E08870-787B-4554-B1AB-84B4EFA5D82A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd8007490a248a080808f77e0123c492d98333d","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$A3926E31-46EA-47E5-9E02-BEB35BB51905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"63969a5eef98c22adc340362ac50f2c70fedd43c","datavalue":{"value":{"entity-type":"item","numeric-id":21596,"id":"Q21596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$82B15CEB-1A23-499A-B78F-7612F87B3E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c78c15211c2ed190a323edf74a43a39941ce473","datavalue":{"value":{"entity-type":"item","numeric-id":24836,"id":"Q24836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$F3CFEF8B-9EDB-4ECC-94A1-E38CCDEF4CC4","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":"Q386617$51A40F4C-10BD-4C4E-AA6A-BA18F59585FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"99023ec58cb8edf3b77b69e31813e135dc52e564","datavalue":{"value":{"entity-type":"item","numeric-id":15363,"id":"Q15363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$D519E19A-2B66-4936-B2CD-6C4812233182","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":"Q386617$062843C3-D139-4EA8-9AD3-8F8DDCC1B8F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f6c1e7ca402abb3af52e7464b4cdefaa154b261","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2013.08.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q386617$FBE2BEDC-3F89-445B-923C-A8A5AE90928A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"798b18b33cda8014555b8f0be32888a5272d561d","datavalue":{"value":"W2087480266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386617$B575ADDE-2382-43E3-A73B-C557FA754EAC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$321723DF-E991-472D-8F89-B4F6DECF565D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$B0BC1226-1996-4CF3-9051-620FF2AEAA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2192b014e5b86896a1edd5438adccc8a06ba3605","datavalue":{"value":{"entity-type":"item","numeric-id":4532080,"id":"Q4532080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$982C2C5D-12A1-4E9F-85B4-5F6465E773C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f3722a01ff9977e3dae59cf7bb07fb3de2a6c6a","datavalue":{"value":{"entity-type":"item","numeric-id":2985870,"id":"Q2985870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$1087616C-DD76-4D34-851F-5E035F913B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a0e24fd9d86567ce3482ecbed81b082643d345b","datavalue":{"value":{"entity-type":"item","numeric-id":4439564,"id":"Q4439564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$F2B7D434-1346-4060-A62A-2E2C921AB1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12517eeaeb6245dc67a8b1045b39dda94410077","datavalue":{"value":{"entity-type":"item","numeric-id":5900485,"id":"Q5900485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$877E86E9-EE39-470D-A596-BB042BD1FECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52fdffb5dd1223f571882d363432c9fff29a083f","datavalue":{"value":{"entity-type":"item","numeric-id":2576589,"id":"Q2576589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$93840A80-4B35-4C7C-9D8B-914403FB4DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4272f5488c3bda1ae9ece666bec011d1e592b9f","datavalue":{"value":{"entity-type":"item","numeric-id":1028728,"id":"Q1028728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$C38E6CA6-5812-4B3A-A016-52AB02DE24B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fada83b44fd43f133266b4aaeedb2250886c215","datavalue":{"value":{"entity-type":"item","numeric-id":3090823,"id":"Q3090823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$13563DB6-AECD-4320-9ECA-36213BA78BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3e8eebde77d62d966c2bcc6e79006dd488e95d2","datavalue":{"value":{"entity-type":"item","numeric-id":2911615,"id":"Q2911615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$D174C1C5-2A17-40EF-B37B-9E5BD556C03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d51f8a266e7f8ab5d257e3652aa25de3e33ef49","datavalue":{"value":{"entity-type":"item","numeric-id":3172846,"id":"Q3172846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$590CD4A7-D8EF-461B-9988-F4C95D3386D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efd78c17326908589f35b65c457ba3061182dad3","datavalue":{"value":{"entity-type":"item","numeric-id":3000612,"id":"Q3000612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$56526902-4AF1-4E99-9B14-2F1DA04C82C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a9725491bc082c06bfac86ad9896374d5377025","datavalue":{"value":{"entity-type":"item","numeric-id":3172848,"id":"Q3172848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$2CBE77E9-93BE-462D-A281-F261FF95013D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104c858b096e3970a05febe3d3b6e8ed49332047","datavalue":{"value":{"entity-type":"item","numeric-id":5897475,"id":"Q5897475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$E03BA310-C547-4BC2-923C-4F4FBB55F4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c86e7026a5a3d71a6fab5397654f7a7408f38f7","datavalue":{"value":{"entity-type":"item","numeric-id":3648824,"id":"Q3648824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$1E3D8552-BB57-4CC1-A7FF-5FD393A28C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53675075288675fa7342cb7f3aca57c38db7e5cb","datavalue":{"value":{"entity-type":"item","numeric-id":4596624,"id":"Q4596624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$884D1094-C8BD-4D43-BF2D-7AA4A35AA6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$94C8C4AD-BBBF-48F8-8269-4C62301B056F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d139b83b95572def71b75a1df76dc5855dcccdc","datavalue":{"value":{"entity-type":"item","numeric-id":5248530,"id":"Q5248530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$BB530A21-FBD4-44CF-BBEB-63BC33ACBE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abfc3b21c0f14353187ab5de281a6e5d1ac24c8","datavalue":{"value":{"entity-type":"item","numeric-id":1858447,"id":"Q1858447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$A0CEA648-1AB2-4CC6-A119-BCBBDE9D9D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f32ba8fe5a09708557448064664d55d2e320618b","datavalue":{"value":{"entity-type":"item","numeric-id":3172845,"id":"Q3172845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386617$0D6859D4-29C6-4BC6-AE95-62822077C0DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83e4b04c9b04d00c6b0b5a45d43f1cb67f1d27b5","datavalue":{"value":"10.1016/J.TCS.2013.08.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386617$7302A9CB-3429-441A-A434-AA0389D53FDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b80c8fa301c38650fe3e6cd3bea0ec4c2c25e9","datavalue":{"value":{"entity-type":"item","numeric-id":3172848,"id":"Q3172848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e188b49b8a7bf0f9cc2a931abc1f998cc60227f9","datavalue":{"value":{"amount":"+0.9225683212280272","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":"Q386617$6F20D2CF-EEC0-4332-9CD6-DD055E032A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8827663ee04c1c28074b207f1ec06223ba0cbdd","datavalue":{"value":{"entity-type":"item","numeric-id":1708707,"id":"Q1708707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7159f25de735a0914cab3ed0e011c8ebf3d04466","datavalue":{"value":{"amount":"+0.7830811738967896","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":"Q386617$69BD9337-D26E-4881-A381-F728746074F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78496980735ccff14bd261c79259d31afc811b53","datavalue":{"value":{"entity-type":"item","numeric-id":2249662,"id":"Q2249662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f7a8288bc1d7529750940832efb9efc52beef3c","datavalue":{"value":{"amount":"+0.7783669829368591","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":"Q386617$A37978D7-1EEF-48CC-A7CF-4CFFD4766E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52090ff2a02da2d3996f1a5f1ce9855a64790cb9","datavalue":{"value":{"entity-type":"item","numeric-id":2642542,"id":"Q2642542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47636565f808443196e2a05e80d21971d663ac8c","datavalue":{"value":{"amount":"+0.7576078772544861","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":"Q386617$F7586179-B938-4287-880D-01E1F5A3B397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f903c767a02c6b41637827536cc567d48cab0f","datavalue":{"value":{"entity-type":"item","numeric-id":2843865,"id":"Q2843865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f3af5711881fd1bdaefb385eae5a3d61a4bfc0e","datavalue":{"value":{"amount":"+0.7572396397590637","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":"Q386617$CA4DE4A7-7AF7-4AA5-AFC8-F6165C2CD67F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Robust synthesis for real-time systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Robust_synthesis_for_real-time_systems"}}}}}