Defining CARE Properties Through Temporal Input Models