A Concise Introduction to Models and Methods for Automated Planning nidottuEnglanti, 2013