Runtime proposal: a merged document initial version
Merge pull request #31 from jungkees/master

Execution and Security Model: a proposed merged document
Merge pull request #32 from cdumez/master

Upload sources for Alarm API specification
Update my email and affiliation in Alarm and Contacts specifications
Merge pull request #33 from cdumez/update_email

Update my email and affiliation in Alarm and Contacts specifications