A Systematic Method to Generate Effective STLs for the In-Field Test of CAN Bus Controllers