Author: International Conference on Foundations of Computer-Aided Process desi