Sokolsky. Resource Modeling for Embedded Systems Design. IEEE, doi:10.1109/wstfes.2004.1300422.