GAST M S.802.11 Wireless Networks:the Definitive Guide[M].Beijing:Tsinghua University Press,2002:7-17.
[2]
PUTTEN P H A,VOETEN J P M.Specification of reactive hardware/software systems[D].Netherlands:Eindhoven University of Technology,1997.
[3]
THEELEN B D,VOETEN J P M,BOKHOVEN L J V,et al.Performance modeling in the large:a ease study[C]// Proceedings of the 13th European Simulation Symposium.Belgium:SCS-Europe,2001:174-181.
[4]
THEELEN B D,VOETEN J P M,KRAMER R D J.Performance modelling of a network processor using POOSL[J]. Journal of Computer Networks,2003,41(5):667-684.
[5]
方林波，黄樟钦，侯义斌，等．基于POOSL的系统级建模及性能分析[J]．北京工业大学学报，2007，33(6)：650-655．FANG Lin-bo,HUANG Zhang-qin,HOU Yi-bin,et al.System-level modeling and performance analysis based on POOSL[J]. Journal of Beijing University of Technology,2007,33(6):650-655.(in Chinese)
[6]
BOKHOVEN L J V.Constructive tool design for formal languages:from semantics to executing models[D].Netherlands: Eindhoven University of Technology,2002.
[7]
BIANCHI G.Performance analysis of the IEEE 802.11 distributed coordination function[J].IEEE Journal on Selected Areas in Communications,2000,18(3):535-547.
[8]
HOON M M C M.Performance analysis of distributed real-time embedded systems[D].Netherlands:Eindhoven University of Technology,2005.
