TY  - RPRT
TI  - Developing Experimental Models for NASA Missions with ASSL
AU  - Emil Vassev
AU  - Mike Hinchey
PY  - 2010
DO  - 10.4204/eptcs.20.10
UR  - https://arxiv.org/abs/1003.0396
ID  - 1003.0396
ER  -