For Finite State Machines (FSMs) a rich testing theory has been developed to discover aspects of their behavior and ensure correct functioning. Although this frequently used, e.g. check conformance protocol implementations, its applicability is limited by restrictions FSMs, in which inputs outputs alternate, are determined the previous input state. Labeled Transition Systems with (LTSs), as stu...