Nomad: a security model with non atomic actions and deadlines | IEEE Conference Publication | IEEE Xplore