@Article{dutertre97,
    AUTHOR = {Bruno Dutertre and Victoria Stavridou},
    TITLE = {Formal Requirements Analysis of an Avionics Control System},
    JOURNAL = {{IEEE} Transactions on Software Engineering},
    VOLUME = {23},
    NUMBER = {5},
    YEAR = {1997},
    PAGES = {267--278\}},
    MONTH = {May},
    URL = {http://www.sdl.sri.com/papers/tse97/}
}