LTL-based verification of reconfigurable workflows into LTL, using the Bound model checker Z{double-
strok}ot. The objective of this paper is demonstrating how
LTL-based verification of reconfigurable workflows into LTL, using the Bound model checker Z{double-
strok}ot. The objective of this paper is demonstrating how