@article{123205,
 author = {Gerald W. Neufeld and Yueli Yang},
 title = {The Design and Implementation of an ASN.1-C Compiler},
 journal = {IEEE Trans. Softw. Eng.},
 volume = {16},
 number = {10},
 year = {1990},
 issn = {0098-5589},
 pages = {1209--1220},
 doi = {http://dx.doi.org/10.1109/32.60300},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA},
 }

@inproceedings{1159792,
 author = {Thomas Arts and John Hughes and Joakim Johansson and Ulf Wiger},
 title = {Testing telecoms software with quviq QuickCheck},
 booktitle = {ERLANG '06: Proceedings of the 2006 ACM SIGPLAN  workshop on Erlang},
 year = {2006},
 isbn = {1-59593-490-1},
 pages = {2--10},
 location = {Portland, Oregon, USA},
 doi = {http://doi.acm.org/10.1145/1159789.1159792},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@misc{MS04007,
   author = {Microsoft},
   title = {Microsoft Security Bulletin MS04-007},
   note = {Online Publication},
   month = {June},
   year = {2004},
   url = {http://www.microsoft.com/technet/security/bulletin/MS04-007.asp}
}

@article{ claessen00quickcheck,
    author = "Koen Claessen and John Hughes",
    title = "{QuickCheck}: a lightweight tool for random testing of {Haskell} programs",
    journal = "ACM SIGPLAN Notices",
    volume = "35",
    number = "9",
    pages = "268--279",
    year = "2000",
    url = "citeseer.ist.psu.edu/claessen00quickcheck.html" }

@Misc{GCC,
    author = "GCC Team, The",
    title = {GCC, the GNU Compiler Collection},
    year = 2008,
    note = {Online: accessed 27-January-2008},
    url = {http://gcc.gnu.org}
}

@manual{PER,
    author = {ITU-T and ISO/IEC},
    title = {ASN.1 encoding rules},
    year = 2002,
    note = {Specification of Packed Encoding Rules (PER)},
    organization = {ITU-T Rec. X.691 (2002) $\mid$ ISO/IEC 8825--2:2002}}

@manual{ATN,
    author = {ICAO},
    title = {Manual of Technical Provisions for the Aeronautical Telecommunication Network (ATN)},
    organisation = {ICAO},
    year = {2002},
    edition = {Third Edition (CD-ROM)},
    note = {ICAO Specification 9705 --- ISBN 92-9194-003-8}}

@manual{ACARS,
    title = {ATS Data Link Applications over ACARS Air-Ground Network},
    author = {ARINC},
    organisation = {ARINC},
    year = {2001},
    month = {10},
    note = {ARINC Specification 622-4}}

@manual{ACARSInterop,
    title = {Interoperability Requirements for ATS Applications Using ARINC 622 Data Communications},
    author = {RTCA SC-189},
    organisation = {RTCA},
    year = {2005},
    month = {4},
    note = {RTCA Specification DO-258A}}

@manual{FANS,
    title = {Future Air Navigation System 1/A (FANS 1/A) --- Aeronautical Telecommunications Network (ATN) Interoperability Standard},
    author = {RTCA SC-189},
    organisation = {RTCA},
    year = {2007},
    month = {6},
    note = {RTCA Specification DO-305}}