Formal incremental requirements specification of service-oriented automotive software systems | IEEE Conference Publication | IEEE Xplore