On Formal Development of Analog/Digital Interfaces In Mixed-Signal Circuits