Started analyzing OpenPM
Started with model extraction from openpm