NBAP message construction using QuickCheck - Andreas Granberg and Daniel Jernberg LITH-IDA 2007-06-18