ptolemy.domains.fmi.kernel