@inproceedings {TricasMartinez95SMC, title = {An Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources}, year = {1995}, month = {10}, pages = {4119-4124}, author = {F. Tricas and J. Mart{\'\i}nez} }