Towards unambiguous FBD: IEC 61499 modelling, automatic generation and equivalence testing | IEEE Conference Publication | IEEE Xplore