Modal and Temporal Logics-Based Planning for Open Networked Multimedia Systems