{"product_id":"e-olderog-r-real-time-systems-formal-specification-and-automatic-verification-9780521883337","title":"Real-Time Systems: Formal Specification and Automatic Verification","description":null,"brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":53830787531094,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/e-olderog-r-real-time-systems-formal-specification-and-automatic-verification-9780521883337","provider":"momoxbooks","version":"1.0","type":"link"}