A framework for database audit and control flow checking for a wireless telephone network controller | IEEE Conference Publication | IEEE Xplore