https://1library.org/document/zlmo5j2y-specification-verification-medium-access-control-analysis-applicability-systems.html