Application of tool-specific simulation algorithms to Memristor models written in Modelica | IEEE Conference Publication | IEEE Xplore