Formal verification of cyber-physical automation systems modelled with timed block diagrams | IEEE Conference Publication | IEEE Xplore