Article Title,Year,Volume,Issue,Page Range,Author Test-driven forensic analysis of satellite automotive navigation systems,2014,25,2,329-338,Park