TY  - RPRT
TI  - An Overview of SAL
AU  - Bensalem, Saddek
AU  - Ganesh, Vijay
AU  - Lakhnech, Yassine
AU  - Munoz, Cesar
AU  - Owre, Sam
AU  - Ruess, Harald
AU  - Rushby, John
AU  - Rusu, Vlad
AU  - Saiedi, Hassen
AU  - Shankar, N.
PY  - 2000
UR  - https://ntrs.nasa.gov/citations/20000055733
ID  - 20000055733
ER  -