TY  - RPRT
TI  - Implementing Model-Check for Employee and Management Satisfaction
AU  - Jones, Corey
AU  - LaPha, Steven
PY  - 2013
UR  - https://ntrs.nasa.gov/citations/20130013675
ID  - 20130013675
ER  -