High-level platform modeling and exploration by Màrius Montón