Models and Tools for Massively Parallel Systems