{"first_publish_date": "1999", "latest_revision": 3, "key": "/works/OL13631663W", "authors": [{"type": {"key": "/type/author_role"}, "author": {"key": "/authors/OL6488407A"}}], "subjects": ["Congresses", "Software engineering", "Abstract data types (Computer science)", "Systems engineering", "Real-time data processing", "Verification", "Computer software"], "created": {"type": "/type/datetime", "value": "2009-12-11T10:09:06.826235"}, "title": "Formal methods for real-time and probabilistic systems", "last_modified": {"type": "/type/datetime", "value": "2014-07-30T10:32:35.563742"}, "dewey_number": ["005.1"], "type": {"key": "/type/work"}, "revision": 3}