where is Φm0 the metal work function and an integration coupling operator (
intop1) has been added on a point within the semiconducting domain adjacent to the insulator (if more than one Semiconductor interface is added to the domain, the prefix
semi in the variable within the integration operator might need to be incremented).