{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T23:44:16Z","timestamp":1778111056847,"version":"3.51.4"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/syscon.2015.7116833","type":"proceedings-article","created":{"date-parts":[[2015,6,10]],"date-time":"2015-06-10T15:27:37Z","timestamp":1433950057000},"page":"705-710","source":"Crossref","is-referenced-by-count":19,"title":["Systems engineering of inter-satellite communications for distributed systems of small satellites"],"prefix":"10.1109","author":[{"given":"W.","family":"Edmonson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Gebreyohannes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Dillion","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Radhakrishnan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Chenou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Esterline","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Afghah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"1072","article-title":"Inter-satellite link design for the leo\/meo two-layered satellite network","volume":"2","author":"yuan","year":"2005","journal-title":"Wireless Communications Networking and Mobile Computing"},{"key":"ref11","first-page":"1","article-title":"Hierarchichal satellite network design based on permanent inter-satellite links","author":"zhenyong","year":"2008","journal-title":"Wireless Communications Networking and Mobile Computing"},{"key":"ref12","article-title":"Pvs: A prototype verification system","author":"sam","year":"1992","journal-title":"11th International Conference on Automated Deduction (CADE)"},{"key":"ref13","author":"gordon","year":"0","journal-title":"Introduction to HOL A Theorem Proving Environment for Higher-Order Logic"},{"key":"ref14","year":"2012","journal-title":"The Coq Proof Assistant Electronic Coq Development Team"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ISADS.2009.5207326"},{"key":"ref16","article-title":"Guidance and navigation for rendezvous and proximity operations with a non-cooperative spacecraft at geosynchronous orbit","author":"barbee","year":"2010","journal-title":"George H Born Symposium"},{"key":"ref17","article-title":"Distributed computing architecture for small satellite and multi-spacecraft missions","author":"palmintier","year":"2002","journal-title":"SSC02-IV-6 – 16th Annual AIAA\/USU Conference on Small Satellites"},{"key":"ref18","article-title":"A Framework for Cognitive Task Analysis In Systems Design","author":"rasmussen","year":"1985","journal-title":"Denmark Ris\ufffd National Laboratory"},{"key":"ref19","article-title":"The OSI Model: Understanding the Seven Layers of Computer Networks","author":"simoneau","year":"0","journal-title":"Global Knowledge 1985 Tech Rep"},{"key":"ref28","author":"lawvere","year":"1991","journal-title":"Conceptual mathematics A first introduction to categories"},{"key":"ref4","article-title":"Optimal multiple access protocol for inter-satellite communication in small satellite systems","author":"radhakrishnan","year":"2014","journal-title":"Symposium on Small Satellite Systems and Services"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511863226"},{"key":"ref3","article-title":"Formal framework for ensuring consistent system and component theories in the design of small satellite systems","author":"chenou","year":"2014","journal-title":"inComplex Systems and Data Management Conference Paris France"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2010.5447031"},{"key":"ref29","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1524.001.0001","author":"pierce","year":"1991","journal-title":"Basic Category Theory for Computer Scientists"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MAES.2014.130180"},{"key":"ref8","article-title":"Genso: A global ground station network","author":"shirville","year":"2007","journal-title":"AMSAT Symposium"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2008.4526248"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SysCon.2014.6819305"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SYSTEMS.2010.5482323"},{"key":"ref1","article-title":"Highly confident reduced life-cycle design process for small satellite systems: Methodology and theory","author":"edmonson","year":"2012","journal-title":"Complex Systems and Data Management Conference"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1175\/BAMS-83-12-1771"},{"key":"ref22","first-page":"13","article-title":"TechSat 21 and Revolutionizing Space Missions Using Microsatellites","author":"martin","year":"2001"},{"key":"ref21","article-title":"A Survey of Small Satellites Domain: Challenges, Applications and Communications Key Issues","author":"burlacu","year":"2010","journal-title":"ICAST Global Communication Magazine"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2012.6187334"},{"key":"ref23","year":"0","journal-title":"Iridium The Iridium Constellation"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11617-4_10"},{"key":"ref25","article-title":"Systematic Identification of Applications for a Cluster of Femto-satellites","author":"sundaramoorthy","year":"2010","journal-title":"61st International Astronautical Congress Prague CZ"}],"event":{"name":"2015 9th Annual IEEE International Systems Conference (SysCon)","location":"Vancouver, BC, Canada","start":{"date-parts":[[2015,4,13]]},"end":{"date-parts":[[2015,4,16]]}},"container-title":["2015 Annual IEEE Systems Conference (SysCon) Proceedings"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7112393\/7116715\/07116833.pdf?arnumber=7116833","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,26]],"date-time":"2019-08-26T09:37:16Z","timestamp":1566812236000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7116833\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/syscon.2015.7116833","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}