Towards verification-based development of in-vehicle safety critical software: a case study