Object-Oriented Modeling of Electronic Systems