Paige, Richard F., Polack, Fiona A.C., Zschaler, Steffen, Chiang, Thomas, Annable, Nicholas, "Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models", Journal of Object Technology, 2022