Hoon Hong, Volker Stahl: Safe starting regions by fixed points and tightening. Computing 53(3-4): 323-335 (1994)