Documentation of TICAS4