ptolemy.domains.fmi.lib