@article {ARReTeSi98, title = {On Linear Algebraic Techniques for Liveness Analysis of PT Systems}, journal = {Journal of Circuits Systems and Computers}, volume = {8}, year = {1998}, pages = {223-265}, author = {L. Recalde and E. Teruel and M. Silva} }