Liang, Zhang (2011) Validation of Networked Automotive Control Systems Using Global Predicates. Masters thesis, Waterford Institute of Technology.