Axel Jantsch, Ingo Sander, Wenbiao Wu. The usage of stochastic processes in embedded system specifications. In Jan Madsen, Jörg Henkel, Xiaobo Sharon Hu, editors, Proceedings of the Ninth International Symposium on Hardware/Software Codesign, CODES 2001, Copenhagen, Denmark, 2001. pages 5-10, ACM, 2001. [doi]
Abstract is missing.