selected publications thesis Use of a TK Solver Performance Model in the Design and Testing of a Formula Hybrid Racecar 2013