Syslogics AB Sweden ibm doors, real-time software, sensor fusion, sysml, systems architecture, systems engineering, and verification and validation