Ann E. Kelley Sobel Formal Requirements Specification Analysis of Attitude Control of the International Space Station Alpha. 348-355 1998 HICSS (3) http://computer.org/proceedings/hicss/8239/82390348abs.htm db/conf/hicss/hicss1998-3.html#Sobel98