Ann E. Kelley SobelFormal Requirements Specification Analysis of Attitude Control of the International Space Station Alpha.348-3551998conf/hicss/1998HICSS (3)http://dx.doi.org/10.1109/HICSS.1998.656300http://doi.ieeecomputersociety.org/10.1109/HICSS.1998.656300db/conf/hicss/hicss1998-3.html#Sobel98