Development of Tools for Modeling Hybrid Systems with Memory