@inproceedings{BallhauseTavakoliKolagari2004, author = {Christoph Ballhause and Ramin Tavakoli Kolagari}, title = {Hardware-unabh{\"a}ngige Spezifikation von Steuerger{\"a}te-Software}, booktitle = {Softwaretechnik-Trends}, year = {2004}, }