TY  - RPRT
TI  - On Implementing Real-time Specification Patterns Using Observers
AU  - John D. Backes
AU  - Michael W. Whalen
AU  - Andrew Gacek
AU  - John Komp
PY  - 2016
UR  - https://arxiv.org/abs/1604.08155
ID  - 1604.08155
ER  -