@unpublished{deploy166,
           month = {January},
           title = {DEPLOY Satellite (an Attitude and Orbit Control System) Specification, Version 15 without statement numbering},
          author = {Pauli V{\"a}is{\"a}nen and Kimmo Varpaaniemi},
       publisher = {Space Systems Finland Ltd},
            year = {2010},
             url = {http://deploy-eprints.ecs.soton.ac.uk/166/},
        abstract = {An executable "DEPLOY Satellite" specification in the form of Ada source code without any statement numbering comment. The absence of statement numbering comments is the only difference with respect to http://deploy-eprints.ecs.soton.ac.uk/167/.}
}

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>