{"action":"created","issue":{"url":"https://api.github.com/repos/openETCS/product-backlog/issues/30","labels_url":"https://api.github.com/repos/openETCS/product-backlog/issues/30/labels{/name}","comments_url":"https://api.github.com/repos/openETCS/product-backlog/issues/30/comments","events_url":"https://api.github.com/repos/openETCS/product-backlog/issues/30/events","html_url":"https://github.com/openETCS/product-backlog/issues/30","id":47743990,"number":30,"title":"US-Verify-Behavioural-Model  Prio: 600","user":{"login":"MarcBehrens","id":2271821,"avatar_url":"https://avatars.githubusercontent.com/u/2271821?v=3","gravatar_id":"","url":"https://api.github.com/users/MarcBehrens","html_url":"https://github.com/MarcBehrens","followers_url":"https://api.github.com/users/MarcBehrens/followers","following_url":"https://api.github.com/users/MarcBehrens/following{/other_user}","gists_url":"https://api.github.com/users/MarcBehrens/gists{/gist_id}","starred_url":"https://api.github.com/users/MarcBehrens/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/MarcBehrens/subscriptions","organizations_url":"https://api.github.com/users/MarcBehrens/orgs","repos_url":"https://api.github.com/users/MarcBehrens/repos","events_url":"https://api.github.com/users/MarcBehrens/events{/privacy}","received_events_url":"https://api.github.com/users/MarcBehrens/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/openETCS/product-backlog/labels/Blocked","name":"Blocked","color":"ff66ff"},{"url":"https://api.github.com/repos/openETCS/product-backlog/labels/in%20progress","name":"in progress","color":"ededed"},{"url":"https://api.github.com/repos/openETCS/product-backlog/labels/Owner%20WP4","name":"Owner WP4","color":"009800"},{"url":"https://api.github.com/repos/openETCS/product-backlog/labels/Stakeholder%20WP3","name":"Stakeholder WP3","color":"fef2c0"}],"state":"open","locked":false,"assignee":{"login":"MarcBehrens","id":2271821,"avatar_url":"https://avatars.githubusercontent.com/u/2271821?v=3","gravatar_id":"","url":"https://api.github.com/users/MarcBehrens","html_url":"https://github.com/MarcBehrens","followers_url":"https://api.github.com/users/MarcBehrens/followers","following_url":"https://api.github.com/users/MarcBehrens/following{/other_user}","gists_url":"https://api.github.com/users/MarcBehrens/gists{/gist_id}","starred_url":"https://api.github.com/users/MarcBehrens/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/MarcBehrens/subscriptions","organizations_url":"https://api.github.com/users/MarcBehrens/orgs","repos_url":"https://api.github.com/users/MarcBehrens/repos","events_url":"https://api.github.com/users/MarcBehrens/events{/privacy}","received_events_url":"https://api.github.com/users/MarcBehrens/received_events","type":"User","site_admin":false},"milestone":null,"comments":1,"created_at":"2014-11-04T17:54:04Z","updated_at":"2015-04-22T14:09:07Z","closed_at":null,"body":"As a behaviour modeller (WP3), I need my SCADE behavioural model to be verified so that it complies to Subset-026."},"comment":{"url":"https://api.github.com/repos/openETCS/product-backlog/issues/comments/95192887","html_url":"https://github.com/openETCS/product-backlog/issues/30#issuecomment-95192887","issue_url":"https://api.github.com/repos/openETCS/product-backlog/issues/30","id":95192887,"user":{"login":"mahlmann","id":3638145,"avatar_url":"https://avatars.githubusercontent.com/u/3638145?v=3","gravatar_id":"","url":"https://api.github.com/users/mahlmann","html_url":"https://github.com/mahlmann","followers_url":"https://api.github.com/users/mahlmann/followers","following_url":"https://api.github.com/users/mahlmann/following{/other_user}","gists_url":"https://api.github.com/users/mahlmann/gists{/gist_id}","starred_url":"https://api.github.com/users/mahlmann/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mahlmann/subscriptions","organizations_url":"https://api.github.com/users/mahlmann/orgs","repos_url":"https://api.github.com/users/mahlmann/repos","events_url":"https://api.github.com/users/mahlmann/events{/privacy}","received_events_url":"https://api.github.com/users/mahlmann/received_events","type":"User","site_admin":false},"created_at":"2015-04-22T14:09:07Z","updated_at":"2015-04-22T14:09:07Z","body":"US is currently blocked. The following issues need to be solved to unblock this US:\n- [ ] model does currently not compile\n- [ ] interfaces of the model need to be documented for verification"}}