Andreas Gerstlauer, Rainer Dömer, Junyu Peng, Daniel D. Gajski. System Design - A Practical Guide with SpecC. Springer, 2001. [doi]
@book{0036856, title = {System Design - A Practical Guide with SpecC}, author = {Andreas Gerstlauer and Rainer Dömer and Junyu Peng and Daniel D. Gajski}, year = {2001}, doi = {10.1007/978-1-4615-1481-7}, url = {http://dx.doi.org/10.1007/978-1-4615-1481-7}, researchr = {https://researchr.org/publication/0036856}, cites = {0}, citedby = {0}, publisher = {Springer}, isbn = {978-0-7923-7387-2}, }