Formal Periodic Steady-State Analysis of Power Converters in Time-Domain