@techreport{oai:repository.dl.itc.u-tokyo.ac.jp:00054252,
 author = {Next-Generation, Sky System Research Unit  Institute for Future Initiatives  The University of Tokyo},
 month = {Feb},
 title = {Proposal for Aviation Safety Certification System and Technical Standardization},
 year = {2020}
}