Process time patterns: A formal foundation · Study