{"product_id":"reactis-users-guide","title":"Reactis User's Guide","description":"\u003cp\u003eModel-Based Testing and Validation with Reactis.\u003cbr\u003e\nReactis automatically generates high-quality test data from Simulink and Stateflow models, checks user-specified requirements on models, and supports the interactive analysis of model behavior.\u003c\/p\u003e","brand":"Reactive Systems","offers":[{"title":"Paperback","offer_id":44310337159329,"sku":"9781411620063","price":43.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0462\/1120\/3233\/files\/1566g8-front-shortedge-384.jpg?v=1748303521","url":"https:\/\/bookswholesale.myshopify.com\/products\/reactis-users-guide","provider":"BooksWholesale","version":"1.0","type":"link"}