Modelling and validating 1553B protocol using the SPIN model checker | IEEE Conference Publication | IEEE Xplore