Fieldbus network simulation using a time extended Estelle formalism | IEEE Conference Publication | IEEE Xplore