CombiS-BP editor: Combining declarative and imperative languages in BP modelling: Demonstration paper | IEEE Conference Publication | IEEE Xplore