This paper gives an overview of the SPRINT method, which is a formal method for the development of control software of audio/video systems used in Philips. It is an integrated approach combining three key techniques in software development: specification, prototyping and reuse. The paper discusses the various constituents of the method using a subdivision in five categories: principles, models, languages, tools and guidelines, with focus on models and languages.