{"created": {"type": "/type/datetime", "value": "2012-05-02T07:22:20.960850"}, "subjects": ["Programmable controllers", "Testing", "Design and construction"], "latest_revision": 2, "key": "/works/OL16615345W", "title": "Design and verification of microprocessor systems for high-assurance applications", "authors": [{"type": {"key": "/type/author_role"}, "author": {"key": "/authors/OL7117801A"}}], "type": {"key": "/type/work"}, "last_modified": {"type": "/type/datetime", "value": "2019-06-29T17:05:07.427832"}, "covers": [8637382], "revision": 2}