@mastersthesis{Fukuda2016,author = {Fukuda, T. },title = {Enhancement of liveness},year = {2016},pdf = {http://phaidra.kug.ac.at/o:44349}}