{
  "title": "Cruise Control System Specification in B",
  "origin_url": "https://github.com/hhu-stups/prob-examples/blob/master/ClassicalB/Cruise_finite1.mch",
  "license_guess": "Eclipse Public License 2.0",
  "code_sha256": "56e9f85398694e12b5a8c2d73cf8a7a64f5bba34f749f42e7c1867a19bcaf62a",
  "added_at": "2025-11-12T11:49:07Z"
}