Text this: Verification of a remote supervisory control applied to distributed power systems based on DC-DC converters through a virtual prototype using HiLeS and VHDL-AMS