Automated modeling and analysis of CSMA-type access schemes for building automation networks | IEEE Journals & Magazine | IEEE Xplore