Thin-film technology for HTSC Josephson devices | IEEE Journals & Magazine | IEEE Xplore