Text this: System of systems method and formal function decomposition for software systems