A Concise Introduction To Models And Methods For Automated Planning