STAMP-Mar based safety management of maritime navigation in the Gulf of Finland (Baltic Sea) | IEEE Conference Publication | IEEE Xplore