Srba, J. On the Power of Labels in Transition Systems. BRICS 2001, 8.