An overview of a software development method for embedded real-time systems and some experiences in using it is given. Description is limited to the main models used in different software development phases. Models are only partially described but they are all based on same example.