TY  - RPRT
TI  - From Goal-Oriented Requirements to Event-B Specifications
AU  - Aziz, Benjamin
AU  - Arenas, Alvaro E.
AU  - Bicarregui, Juan
AU  - Ponsard, Christophe
AU  - Massonet, Philippe
PY  - 2009
UR  - https://ntrs.nasa.gov/citations/20100024461
ID  - 20100024461
ER  -